Lattice point of view for argumentation framework

نویسندگان

چکیده

The main purpose of this article is to develop a lattice point view for the study argumentation framework extensions. We first characterize self-defending sets an by closed implicational system that can be computed in polynomial time from framework. On other hand, any $$\Sigma $$ over set arguments, we associate whose admissible are bijection with . Second, propose conflict-closed reduction rules, based on system, find out minimal subsets vertex cover while maintaining all potential extensions as well preferred This leads delay and space algorithm enumerate frameworks without even cycles. Finally, new decomposition defined bipartite proposed improves exponential complexity previous algorithms.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Argumentation Context Systems: A Framework for Abstract Group Argumentation

We introduce a modular framework for distributed abstract argumentation where the argumentation context, that is information about preferences among arguments, values, validity, reasoning mode (skeptical vs. credulous) and even the chosen semantics can be explicitly represented. The framework consists of a collection of abstract argument systems connected via mediators. Each mediator integrates...

متن کامل

A Formal Concept View of Abstract Argumentation

The paper presents a parallel between two important theories for the treatment of information which address questions that are apparently unrelated and that are studied by different research communities: an enriched view of formal concept analysis and abstract argumentation. Both theories exploit a binary relation (expressing object-property links, attacks between arguments). We show that when ...

متن کامل

COMPUTATIONAL ENUMERATION OF POINT DEFECT CLUSTERS IN DOUBLE- LATTICE CRYSTALS

The cluster representation matrices have already been successfully used to enumerate close-packed vacancy clusters in all single-lattice crystals [I, 2]. Point defect clusters in double-lattice crystals may have identical geometry but are distinct due to unique atomic postions enclosing them. The method of representation matrices is extended to make it applicable to represent and enumerate ...

متن کامل

A Constructive Argumentation Framework

Dung’s argumentation framework is an abstract framework based on a set of arguments and a binary attack relation defined over the set. One instantiation, among many others, of Dung’s framework consists in constructing the arguments from a set of propositional logic formulas. Thus an argument is seen as a reason for or against the truth of a particular statement. Despite its advantages, the argu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Annals of Mathematics and Artificial Intelligence

سال: 2023

ISSN: ['1573-7470', '1012-2443']

DOI: https://doi.org/10.1007/s10472-023-09873-y